induction proof on the number of subsets of a set